Executing Abstract Test Cases
نویسندگان
چکیده
Generally, test cases derived from a formal model can not be directly fed into implementations under test (IUT), because model based test generation techniques produce abstract test cases. In order to run an abstract test case against an IUT the abstract test case either has to be transformed to a concrete test case or an execution of the abstract test case is needed. In this paper we propose a rule based test execution framework, which allows the execution of abstract test cases. Furthermore, we present first results from testing a so called SIP Registrar by executing abstract test cases derived with the TGV tool from a formal specification.
منابع مشابه
Executing Abstract Test Cases * 1i Ntroduction
Generally, test cases derived from a formal model can not be directly fed into implementations under test (IUT), because model based test generation techniques produce abstract test cases. In order to run an abstract test case against an IUT the abstract test case either has to be transformed to a concrete test case or an execution of the abstract test case is needed. In this paper we propose a...
متن کاملA test framework for executing model-based testing in embedded systems
Model Driven Development (MDD) and Model Based Testing (MBT) are gaining inroads individually for their application in embedded software engineering projects. However, their full-fledged and integrated usage in real-life embedded software engineering projects (e.g. industrially relevant examples) and executing MBT in resource constrained embedded systems (e.g. 16 bit system/64 KiByte memory) ar...
متن کاملTest Case Generation Using Model Checking for Software Components Deployed into New Environments
In this paper, we show how to generate test cases for a component deployed into a new software environment. This problem is important for software engineers who need to deploy a component into a new environment. Most existing model based testing approaches generate models from high level specifications. This leaves a semantic gap between the high level specification and the actual implementatio...
متن کاملTowards Earlier Fault Detection by Value-Driven Prioritization of Test Cases Using Fuzzy TOPSIS
Software testing in industrial projects typically requires large test suites. Executing them is commonly expensive in terms of effort and wall-clock time. Indiscriminately executing all available test cases leads to sub-optimal exploitation of testing resources. Selecting too few test cases for execution on the other hand might leave a large number of faults undiscovered. Limiting factors such ...
متن کاملA novel approach to integrating Boundary Scan with other board-level ATE
This article introduces a novel approach for the integration of JTAG/Boundary Scan tools with other Automated Test Equipment. Previous technologies typically stopped short of being really integrated by just executing the same stand-alone Boundary Scan test vectors on a third party ATE, instead of combining resources of both the JTAG tool set and the third party ATE. HySCAN, the method introduce...
متن کامل